More from this Author

Reachability Problems

by Kim Gulstrand Larsen (Editor), Igor Potapov (Editor), Ji I. Srba (Editor)

Verification, Model Checking, and Abstract Interpretation

by Deepak D'Souza (Editor), Akash Lal (Editor), Kim Gulstrand Larsen (Editor)